The branch of logic that deals with abstract symbol manipulation and is often used in mathematical reasoning and computer science.

तर्क का गणितीय प्रणाली का अध्ययन

English Usage: He studied the calculus of logic to better understand mathematical proofs.

Hindi Usage: उसने गणितीय प्रमाणों को बेहतर तरीके से समझने के लिए तर्क गणित का अध्ययन किया।